由引理 1, 对于 $\forall N \in \N^+, 0 \le \rho < 1$, 有

其中 $P(\rho)$ 在 $[0, 1]$ 不减. 令 $\rho \to 1^-, N \to \infty$, 可得

同理得

从而得证.